Table of Contents Collective Reasoning under Uncertainty and Inconsistency............. 1
نویسندگان
چکیده
S OF INFORMAL PRESENTATIONS 1
منابع مشابه
Scheduling Post-Distribution Cross-Dock under Demand Uncertainty
The system of distribution of goods and services, along with other economic developments around the world, is rapidly evolving. In the world of distribution of goods, the main focus is on making distribution operations more effective. Due to the fact that the cross-dock has the advantage of removing intermediaries and reducing the space required for the warehouse, it is worth considering. Among...
متن کاملOn the Complexity of Dealing with Inconsistency in Description Logic Ontologies
We study the problem of dealing with inconsistency in Description Logic (DL) ontologies. We consider inconsistency-tolerant semantics recently proposed in the literature, called AR-semantics and CARsemantics, which are based on repairing (i.e., modifying) in a minimal way the extensional knowledge (ABox) while keeping the intensional knowledge (TBox) untouched. We study instance checking and co...
متن کاملKant’s Philosophy of Religion and the Challenges of Moral Commitment
Kant believes that the concepts of a just and compassionate God and the life beyond death spring from our rational need to unite happiness with virtue. But since Kant had banished happiness from any place in moral reasoning, his philosophy of religion have been deemed as not merely discontinuous with his ethics but radically opposed to it. This article tries to argue against this apparent incon...
متن کاملParaconsistent Computation Tree Logic Paraconsistent Computation Tree Logic * 1
It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than other types of logical systems. In this paper, a paraconsistent computation tree logic, PCTL, is obtained by adding paraconsistent negation to the standard computation tree logic CTL. PCTL can be used to appropriately formalize inconsistency-tolerant temporal reasoning....
متن کاملPossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling
Uncertainty reasoning and inconsistency handling are two important problems that often occur in the applications of the Semantic Web. Possibilistic description logics provide a flexible framework for representing and reasoning with ontologies where uncertain and/or inconsistent information exists. Based on our previous work, we develop a possibilistic description logic reasoner. Our demo will i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012